A Basi Extended Simple Type Theory

A Basic Extended Simple Type Theory

This paper presents an extended version of Church’s simple type theory called Basic Extended Simple Type Theory (bestt). By adding type variables and support for reasoning with tuples, lists, and sets to simple type theory, it is intended to be a practical logic for formalized mathematics.

Predicting the Determinants of Nutritional Behaviors among High School Female Students: The Application of Extended Theory of Reasoned Action

Aims: Unhealthy nutrition is the cause of 35% of death due to cancer. Modification of dietary patterns from childhood and beginning adulthood and having good nutritional behaviors is very important to prevent diseases. The aim of this study was to determine the predictive factors of nutritional behaviors based on the extended theory of reasoned action among high school female students. Instrum...

Formalizing Basi Number Theory

New analytical soliton type solutions for double layers structure model of extended KdV equation

In this present study the double layers structure model of extended Korteweg-de Vries(K-dV) equation will be obtained with the help of the reductive perturbation method, which admits a double layer structure in current plasma model. Then by using of new analytical method we obtain the new exact solitary wave solutions of this equation. Double layer is a structure in plasma and consists of two p...

Íôôð ß Èöö××òø Òò Ùøùöö

Gerd Behrmann, Kim G. Larsen Basi Resear h in Computer S ien e, Aalborg University, Denmark Oliver M oller Basi Resear h in Computer S ien e, Aarhus University, Denmark Alexandre David, Paul Pettersson, Wang Yi Department of Information Te hnology, Uppsala University, Sweden Abstra t Uppaal is a tool for modelling, simulation and veri ation of real-time systems, developed jointly by BRICS at A...